GORANKO, VALENTIN: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Complete axiomatization and decidability of Alternating-time temporal logic

Valentin Goranko, Govert van Drimmelen

Journal:

Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 346 KB

english, 2006

2

Big Brother Logic: visual-epistemic reasoning in stationary multi-agent systems

Gasquet, Olivier, Goranko, Valentin, Schwarzentruber, François

Journal:

Autonomous Agents and Multi-Agent Systems

Year:

2016

Language:

english

File:

PDF, 1.02 MB

english, 2016

3

Nicholas Rescher,Paradoxes: Their Roots, Range, and Resolution; Patrick Blackburn, Maarten de Rijke and Yde Venema,Modal Logic, Cambridge Tracts in Theoretical Computer Science Vol. 53

Andrea Cantini, Valentin Goranko

Journal:

Year:

2004

File:

PDF, 2.60 MB

2004

4

A Road Map of Interval Temporal Logics and Duration Calculi

Goranko, Valentin, Montanari, Angelo, Sciavicco, Guido

Journal:

Journal of Applied Non-Classical Logics

Year:

2004

Language:

english

File:

PDF, 373 KB

english, 2004

5

How to Be Both Rich and Happy: Combining Quantitative and Qualitative Strategic Reasoning about Multi-Player Games (Extended Abstract)

Bulling, Nils, Goranko, Valentin

Journal:

Electronic Proceedings in Theoretical Computer Science

Year:

2013

Language:

english

File:

PDF, 530 KB

english, 2013

6

Reasoning about Knowledge, Ronald Fagin, Joseph Y. Halpern, Yoram Moses, and Moshe Y. Vardi

Valentin Goranko

Journal:

Journal of Logic, Language and Information

Year:

1999

Language:

english

File:

PDF, 45 KB

english, 1999

7

[Lecture Notes in Computer Science] Lectures on Logic and Computation Volume 7388 || A Short Introduction to Implicit Computational Complexity

Bezhanishvili, Nick, Goranko, Valentin

Year:

2012

Language:

english

File:

PDF, 290 KB

english, 2012

8

Strategic games and truly playable effectivity functions

Valentin Goranko, Wojciech Jamroga, Paolo Turrini

Journal:

Autonomous Agents and Multi-Agent Systems

Year:

2013

Language:

english

File:

PDF, 510 KB

english, 2013

9

Modal Logics for Parallelism, Orthogonality, and Affine Geometries

Balbiani, Philippe, Goranko, Valentin

Journal:

Journal of Applied Non-Classical Logics

Year:

2002

Language:

english

File:

PDF, 235 KB

english, 2002

10

[ACM Press the 11th conference - Brussels, Belgium (2007.06.25-2007.06.27)] Proceedings of the 11th conference on Theoretical aspects of rationality and knowledge - TARK '07 - Alternating-time temporal logics with irrevocable strategies

Ågotnes, Thomas, Goranko, Valentin, Jamroga, Wojciech

Year:

2007

Language:

english

File:

PDF, 669 KB

english, 2007

11

Tableau-based decision procedures for logics of strategic ability in multiagent systems

Goranko, Valentin, Shkatov, Dmitry

Journal:

ACM Transactions on Computational Logic

Year:

2009

Language:

english

File:

PDF, 595 KB

english, 2009

12

Hierarchies of Modal and Temporal Logics with Reference Pointers

Valentin Goranko

Journal:

Journal of Logic, Language and Information

Year:

1996

Language:

english

File:

PDF, 2.02 MB

english, 1996

13

Editorial Foreword

Alechina, Natasha, Goranko, Valentin

Journal:

Journal of Logic, Language and Information

Year:

2020

Language:

english

File:

PDF, 136 KB

english, 2020

14

Logic-based specification and verification of homogeneous dynamic multi-agent systems

De Masellis, Riccardo, Goranko, Valentin

Journal:

Autonomous Agents and Multi-Agent Systems

Year:

2020

File:

PDF, 5.65 MB

2020

15

Elementary canonical formulae: extending Sahlqvist’s theorem

Valentin Goranko, Dimiter Vakarelov

Journal:

Annals of Pure and Applied Logic

Year:

2006

Language:

english

File:

PDF, 565 KB

english, 2006

16

Propositional interval neighborhood logics: Expressiveness, decidability, and undecidable extensions

Davide Bresolin, Valentin Goranko, Angelo Montanari, Guido Sciavicco

Journal:

Annals of Pure and Applied Logic

Year:

2009

Language:

english

File:

PDF, 990 KB

english, 2009

17

Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings

Davide Bresolin, Valentin Goranko, Angelo Montanari, Pietro Sala

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 382 KB

english, 2009

18

Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings

Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2010

Language:

english

File:

PDF, 374 KB

english, 2010

19

Tableau Tool for Testing Satisfiability in LTL: Implementation and Experimental Analysis

Valentin Goranko, Angelo Kyrilov, Dmitry Shkatov

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2010

Language:

english

File:

PDF, 301 KB

english, 2010

20

Hybrid Metric Propositional Neighborhood Logics with Interval Length Binders

Dario Della Monica, Valentin Goranko, Guido Sciavicco

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2011

Language:

english

File:

PDF, 271 KB

english, 2011

21

Algorithmic correspondence and completeness in modal logic. V. Recursive extensions of SQEMA

Willem Conradie, Valentin Goranko, Dimitar Vakarelov

Journal:

Journal of Applied Logic

Year:

2010

Language:

english

File:

PDF, 269 KB

english, 2010

22

Hierarchies of modal and temporal logics with reference pointers

Valentin Goranko

Journal:

Journal of Logic, Language and Information

Year:

1996

Language:

english

File:

PDF, 1.18 MB

english, 1996

23

The Craig interpolation theorem for prepositional logics with strong negation

Valentin Goranko

Journal:

Year:

1985

Language:

english

File:

PDF, 1.34 MB

english, 1985

24

Modal logic with names

George Gargov, Valentin Goranko

Journal:

Journal of Philosophical Logic

Year:

1993

Language:

english

File:

PDF, 1.26 MB

english, 1993

25

Refutation systems in modal logic

Valentin Goranko

Journal:

Year:

1994

Language:

english

File:

PDF, 1.41 MB

english, 1994

26

The modal logic of the countable random frame

Valentin Goranko, Bruce Kapron

Journal:

Archive for Mathematical Logic

Year:

2003

Language:

english

File:

PDF, 227 KB

english, 2003

27

Logic in Computer Science: Modelling and Reasoning About Systems

Valentin Goranko

Journal:

Journal of Logic, Language and Information

Year:

2007

Language:

english

File:

PDF, 2.44 MB

english, 2007

28

Book Reviews

Valentin Goranko

Journal:

Year:

2010

Language:

english

File:

PDF, 100 KB

english, 2010

29

Axiomatizations with Context Rules of Inference in Modal Logic

Valentin Goranko

Journal:

Year:

1998

File:

PDF, 877 KB

1998

30

Modal Logic, Alexander Chagrov and Michael Zakharyaschev

Valentin Goranko

Journal:

Journal of Logic, Language and Information

Year:

1999

Language:

english

File:

PDF, 34 KB

english, 1999

31

An Extended Branching-Time Ockhamist Temporal Logic

Mark Brown, Valentin Goranko

Journal:

Journal of Logic, Language and Information

Year:

1999

Language:

english

File:

PDF, 134 KB

english, 1999

32

Comparing Semantics of Logics for Multi-Agent Systems

Valentin Goranko, Wojciech Jamroga

Journal:

Year:

2004

Language:

english

File:

PDF, 492 KB

english, 2004

33

[Lecture Notes in Computer Science] Lectures on Logic and Computation Volume 7388 || Introduction to Judgment Aggregation

Bezhanishvili, Nick, Goranko, Valentin

Year:

2012

Language:

english

File:

PDF, 668 KB

english, 2012

34

Logic for physical space

Marco Aiello, Guram Bezhanishvili, Isabelle Bloch, Valentin Goranko

Journal:

Year:

2012

Language:

english

File:

PDF, 222 KB

english, 2012

35

Preface

Hans van Ditmarsch, David Fernández Duque, Valentin Goranko, Wojtek Jamroga, Manuel Ojeda-Aciego

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2011

Language:

english

File:

PDF, 113 KB

english, 2011

36

Two-sorted Point-Interval Temporal Logics

Philippe Balbiani, Valentin Goranko, Guido Sciavicco

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2011

Language:

english

File:

PDF, 254 KB

english, 2011

37

[Lecture Notes in Computer Science] Lectures on Logic and Computation Volume 7388 || Ten Problems of Deontic Logic and Normative Reasoning in Computer Science

Bezhanishvili, Nick, Goranko, Valentin

Year:

2012

Language:

english

File:

PDF, 379 KB

english, 2012

38

[Lecture Notes in Computer Science] Lectures on Logic and Computation Volume 7388 ||

Bezhanishvili, Nick, Goranko, Valentin

Year:

2012

Language:

english

File:

PDF, 2.77 MB

english, 2012

39

Metric propositional neighborhood logics on natural numbers

Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco

Journal:

Software & Systems Modeling

Year:

2013

Language:

english

File:

PDF, 682 KB

english, 2013

40

The dark side of interval temporal logic: marking the undecidability border

Bresolin, Davide, Monica, Dario Della, Goranko, Valentin, Montanari, Angelo, Sciavicco, Guido

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2014

Language:

english

File:

PDF, 962 KB

english, 2014

41

IV. Semantic extensions of SQEMA

Conradie, Willem, Goranko, Valentin

Journal:

Journal of Applied Non-Classical Logics

Year:

2008

Language:

english

File:

PDF, 321 KB

english, 2008

42

[IEEE 2012 19th International Symposium on Temporal Representation and Reasoning (TIME) - Leicester, United Kingdom (2012.09.12-2012.09.14)] 2012 19th International Symposium on Temporal Representation and Reasoning - Undecidability and Temporal Logic: Some Landmarks from Turing to the Present

Goranko, Valentin

Year:

2012

Language:

english

File:

PDF, 92 KB

english, 2012

43

Foreword

Goranko, Valentin, Jamroga, Wojciech

Journal:

Journal of Applied Non-Classical Logics

Year:

2011

Language:

english

File:

PDF, 23 KB

english, 2011

44

[IEEE 2011 Eighteenth International Symposium on Temporal Representation and Reasoning (TIME) - L beck , Germany (2011.09.12-2011.09.14)] 2011 Eighteenth International Symposium on Temporal Representation and Reasoning - The Dark Side of Interval Temporal Logic: Sharpening the Undecidability Border

Bresolin, Davide, Monica, Dario Della, Goranko, Valentin, Montanari, Angelo, Sciavicco, Guido

Year:

2011

Language:

english

File:

PDF, 259 KB

english, 2011

45

Foreword

Goranko, Valentin, Montanari, Angelo

Journal:

Journal of Applied Non-Classical Logics

Year:

2004

Language:

english

File:

PDF, 33 KB

english, 2004

46

[IEEE 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods - Cape Town, South Africa (2008.11.10-2008.11.14)] 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods - Tableau-Based Decision Procedure for the Multi-agent Epistemic Logic with Operators of Common and Distributed Knowledge

Goranko, Valentin, Shkatov, Dmitry

Year:

2008

Language:

english

File:

PDF, 369 KB

english, 2008

47

[IEEE 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods - Hanoi, Vietnam (2009.11.23-2009.11.27)] 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods - Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval Lengths

Bresolin, Davide, Goranko, Valentin, Montanari, Angelo, Sciavicco, Guido

Year:

2009

Language:

english

File:

PDF, 365 KB

english, 2009

48

Temporal Logics with Reference Pointers and Computation Tree Logics

Goranko, Valentin

Journal:

Journal of Applied Non-Classical Logics

Year:

2000

Language:

english

File:

PDF, 1.02 MB

english, 2000

49

Model-checking CTL* over flat Presburger counter systems

Demri, Stéphane, Finkel, Alain, Goranko, Valentin, van Drimmelen, Govert

Journal:

Journal of Applied Non-Classical Logics

Year:

2010

Language:

english

File:

PDF, 338 KB

english, 2010

50

[Lecture Notes in Computer Science] Infinity in Logic and Computation Volume 5489 ||

Archibald, Margaret, Brattka, Vasco, Goranko, Valentin, Löwe, Benedikt

Year:

2009

Language:

english

File:

PDF, 3.10 MB

english, 2009